“Papers of School of Computer Science”

Pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38


331. M.M. Jaghoori, M. Sirjani, M.R. Mousavi and A. Movaghar,
Efficient Symmetry Reduction for an Actor-Based Model,
in: ICDCIT, 3816, 2005, pp. 494-507  [abstract]

   332. M. Sirjani, F. S. de Boer and A. Movaghar,
Modular Verification of a Component-Based Actor Language,
Journal of Universal Computer Science 11(2005), 1695-1717  [abstract]

   333. F. Ghassemi, S. Tasharofi and M. Sirjani,
Automated Mapping of Reo Circuits to Constraint Automata,
in: FSEN, 159, 2005, pp. 99-115  [abstract]

   334. A. Bagheri and M. Razzazi,
How to Draw Free Trees Inside Bounded Simple Polygons,
Journal of Universal Computer Science 11(2005), 804-829  [abstract]

   335. A. E. Kiasari, H. Sarbazi-Azad and M. Rezazad,
Performance Comparison of Adaptive Routing Algorithms in the Star Interconnection Network,
in: HPCAsia, , 2005, pp. 257-264  [abstract]

   336. F. Safaei, A. Khonsari, M. Fathy and M. Ould-Khaoua,
Performance Modelling and Analysis of Pipelined Circuit Switching in Hypercubes with Fault,
in: HPCASIA, , 2005, pp.   [abstract]

   337. F. Safaei and M. Analoui,
The Effects of Traffic Patterns on the Performance of 2-D Mesh Interconnection Networks,
in: PDPTA, , 2005, pp. 625 - 634  [abstract]

   338. R. Khosravi and M. Ghodsi,
The Fastest Way to View a Query Point in Simple Polygons,
in: , , 2005, pp. 187-190  [abstract]

   339. F. Safaaei, A. Khonsari, M. Fathy and M. Ould-Khaoua,
An Analytical Model of Pipelined Circuit Switching in Hypercubes in the Presence of Hot Spot Traffic,
in: PEN-PCGCS & ICPP, , 2005, pp. 485-492  [abstract]

   340. A. Khonsari, H. Sarbazi-Azad and M. Ould-Khaoua,
A Performance Model of Software-Based Deadlock Recovery Routing Algorithm in Hypercubes,
Parallel Processing Letter 15(2005), 153-168  [abstract]

   back to top

Pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38

scroll left or right